COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	NOTES FOR THE EPISTEMOLOGY TEXT
C00003 ENDMK
C⊗;
NOTES FOR THE EPISTEMOLOGY TEXT

Reference: Vere, Steven A. (1977) Relational production systems
%2Artif. Intell.%1 %38%1, 1 (Feb. 1977), 47-68
reviewed in C.R. Jan. 1978.  A situation is a conjunction of literals.
A production  alpha mu → beta is applicable if alpha matches a
subset of sigma.  The new situation deletes the literals from sigma
that match alpha or mu and adjoins the match to beta.  Applied to
monkey-bananas and blocks world, transformation of chemical isomers,
and a sequential algorithm for summing the elements of a vector.  The
latter example works clumsily according to the reviewer.